∂07-OCT-74  2133		1,JFS
 CAN I JFS SPEAK WITH YOU ABOUT THE PROVER ? I CALL YOU TOMORROW (TUE)

∂07-OCT-74  1729		FOO,DBA
 It's called WARPLAN and MG knows about it and RWW and AJT have abstracts.
 We are leaving TOMORROW! (I think).  Bruce

∂06-OCT-74  2246		FOO,DBA
 SOFTWR.GOL[SOF,DOC] is SOFT+SOFT.ANS+SOFTER.  DBA

∂05-OCT-74  2136		FOO,DBA
 I mentioned your lisp book in my final letter to Blake Vance at
 American Elsevier.

∂04-OCT-74  1514		1,PAW
 John...there is a machine to make hard copies from microfiche in the microtext
 room in the basement of the main library...the cost is $.12 a page.
 Patte